match () with
| [ 1; 2 ] -> ()
